Définition
Définition d'une fonction contractante :
- \((E,d)\) est un espace mesurable
- \(f\) est définie sur \((E,d)\)
- $$\begin{align}&\forall x,y\in E,\exists k\in[0,1],\\ & d(f(x),f(y))\leqslant k.d(x,y)\end{align}$$
$$\Huge\iff$$
- on dit que \(f\) est contractante sur \(E\)
